چکیده :
meaning and necessity- a study in semantics and modal logic by rudolf c rnap.
preface: the main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions.
this method, called the method of extension and intension, is developed by modifying and ex tending certain customary concepts, especially those of class and property.
the method will be contrasted with various other semantical methods used in traditional philosophy or by contemporary authors.
these other methods have one characteristic k corfflhbi wrhey all regard an expression in a language as a name of a concrete or abstract entity.
in contradistinc tion, the method here proposed takes an expression, not as naming any thing, but as possessing an intension and an extension.
this book may be regarded as a third volume of the series which i have called studies in semantics, two volumes of which were published ear lier.
however, the present book does not presuppose the knowledge of its predecessors but is independent.
the semantical terms used in the present volume are fully explained in the text.
the present method for defining the l-terms for example, l-true, meaning logically true, analytic differs from the methods discussed in the earlier introduction to semantics.
i now think that the method used in this volume is more satisfactory for lan guages of a relatively simple structure.
after meaning analysis, the second main topic discussed in this book is modal logic, that is, the theory of modalities, such as necessity, contin gency, possibility, impossibility, etc.
various systems of modal logic have been proposed by various authors.
it seems to me, however, that it is not possible to construct a satisfactory system before the meanings of the modalities are sufficiently clarified.
i further believe that this clarification can best be achieved by correlating each of the modal concepts with a cor responding semantical concept for example, necessity with l-truth.
it will be seen that this method also leads to a clarification and elimination of certain puzzles which logicians have encountered in connection with modalities.
in the preface to the second volume of studies in semantics, i announced my intention to publish, as the next volume, a book on modal logic containing, among other things, syntactical and semantical systems which combine modalities with quantification.
the present book, however, is not as yet the complete fulfilment of that promise it contains only analyses and discussions of modalities, preliminary to the construc tion of modal systems the systems themselves are not given here.
in an article published elsewhere see bibliography, i have stated a calculus and a semantical system combining modalities with quantification, and have summarized some of the results concerning these systems.
a more comprehensive exhibition of results already found and those yet to be found must be left for another time.
the investigations of modal logic which led to the methods developed in this book were made in 1942, and the first version of this book was writ ten in 1943, during a leave of absence granted by the university of chi cago and financed by the rockefeller foundation.
to each of these insti tutions i wish to express my gratitude for their help.
professors alonzo church and w.
v.
quine reaorhe first version and discussed it with me in an extensive correspondence...
ترجمه ماشینی:
معنا و ضرورت- مطالعه در معناشناسی و منطق مدال توسط rudolf c rnap.
پیشگفتار: هدف اصلی این کتاب توسعه روشی جدید برای تحلیل معنایی معنا، یعنی روشی نوین برای تحلیل و توصیف معانی عبارات زبانی است.
این روش که روش بسط و تعمیم نامیده می‌شود، با تعدیل و گسترش مفاهیم عرفی خاص، به‌ویژه مفاهیم کلاس و دارایی، توسعه می‌یابد.
این روش با روش‌های معنایی مختلف دیگری که در فلسفه سنتی یا نویسندگان معاصر استفاده می‌شوند، در تقابل قرار می‌گیرد.
این روش‌های دیگر دارای یک مشخصه هستند.
در تضاد، روش پیشنهادی در اینجا یک عبارت را می گیرد، نه به عنوان نامگذاری هر چیز، بلکه به عنوان دارای یک قصد و یک پسوند.
این کتاب را شاید بتوان جلد سوم از مجموعه ای دانست که من آن را مطالعاتی در معناشناسی نامیده ام که دو جلد آن پیشتر منتشر شده است.
با این حال، کتاب حاضر علم پیشینیان را پیش فرض ندارد، بلکه مستقل است.
اصطلاحات معنایی استفاده شده در جلد حاضر به طور کامل در متن توضیح داده شده است.
روش حاضر برای تعریف اصطلاحات l به عنوان مثال، l-true، به معنای منطقی درست، تحلیلی با روش‌هایی که در مقدمه قبلی بر معناشناسی مورد بحث قرار گرفت، متفاوت است.
اکنون فکر می‌کنم روش استفاده شده در این جلد برای زبان‌هایی با ساختار نسبتاً ساده رضایت‌بخش‌تر است.
پس از تحليل معنا، دومين مبحث اصلي مورد بحث در اين كتاب، منطق وجهي است، يعني نظريه ي جهات از قبيل وجوب، اقتضا، امكان، محال و غيره.
نظام هاي گوناگوني از منطق وجهي توسط نويسندگان مختلف ارائه شده است.
با این حال، به نظر من، ساختن یک سیستم رضایت بخش قبل از اینکه معانی روش ها به اندازه کافی روشن شود، ممکن نیست.
من همچنین معتقدم که این روشن‌سازی را می‌توان با همبستگی هر یک از مفاهیم مودال با یک مفهوم معنایی واکنش‌دهنده، به عنوان مثال، ضرورت با l-truth به بهترین نحو به دست آورد.
مشاهده خواهد شد که این روش همچنین منجر به روشن شدن و حذف معماهایی می شود که منطق دانان در ارتباط با مدالیته ها با آن مواجه شده اند.
در پیشگفتار جلد دوم مطالعات معناشناسی، قصد خود را برای انتشار کتابی در زمینه منطق وجهی به عنوان جلد بعدی اعلام کردم که از جمله شامل سیستم‌های نحوی و معنایی است که روش‌ها را با کمی‌سازی ترکیب می‌کند.
با این حال، کتاب حاضر هنوز تحقق کامل آن وعده نیست، بلکه تنها شامل تحلیل‌ها و بحث‌هایی درباره روش‌ها است، مقدماتی برای ساختن سیستم‌های مودال.
خود سیستم‌ها در اینجا آورده نشده‌اند.
در مقاله‌ای که در جای دیگری به کتابشناسی منتشر شده است، یک حساب دیفرانسیل و انتگرال و یک سیستم معنایی را بیان کرده‌ام که روش‌ها را با کمیت‌سازی ترکیب می‌کند، و برخی از نتایج مربوط به این سیستم‌ها را خلاصه کرده‌ام.
یک نمایشگاه جامع‌تر از نتایجی که قبلاً پیدا شده‌اند و آن‌هایی که هنوز پیدا نشده‌اند باید برای زمان دیگری باقی بماند.
بررسی‌های منطق مودال که منجر به روش‌های توسعه‌یافته در این کتاب شد، در سال 1942 انجام شد و اولین نسخه این کتاب در 10 سال در سال 1943 در خلال مرخصی‌ای که توسط دانشگاه چیکاگو اعطا شد و توسط بنیاد راکفلر تأمین مالی شد، نوشته شد.
.
مایلم از هر یک از این مؤسسات برای کمک آنها تشکر کنم.
پروفسور آلونزو چرچ و دبلیو وی کواین اولین نسخه را ارائه کردند و در مکاتباتی گسترده با من بحث کردند...